Article révisé par les pairs
Titre:
  • Deadlock Avoidance, Non-Linearity and Games: Invited paper, Verification and Evaluation of Computer and Communication Systems (VECoS '2010)
Auteur:Devillers, Raymond
Informations sur la publication:Electronic workshops in computing, page (8)
Statut de publication:Publié, 2010-07
Sujet CREF:Informatique générale
Mots-clés:deadlock, detection, prevention, avoidance, game interpretation
Langue:Anglais
Identificateurs:urn:issn:1477-9358
http://ewic.bcs.org/category/15603